Adjoint machines, state-behavior machines, and duality
نویسندگان
چکیده
منابع مشابه
Semantics and Refinement of Behavior State Machines
In this paper we present an axiomatic semantics for UML 2 behavior state machines, and give transformation rules for establishing refinements of behavior state machines, together with proofs of the semantic validity of these rules, based on a unified semantics of UML 2.
متن کاملSpecifying Component Behavior with Port State Machines
Protocol State Machines (PSM) in UML 2.0 [13] describe valid sequences of operation calls. To support modeling components, UML 2.0 introduces a Port associated with a set of provided and required interfaces. Unfortunately, a PSM is applicable only to a single interface, either a provided or required one; moreover, nested calls cannot be modeled with a PSM. Furthermore, the definition of protoco...
متن کاملVerifying Fault-Tolerant Behavior of State Machines
Fault-tolerant behavior is an important non-finctional requirement for systems that involve high criticality. We present a framework which allows the analysis of faulttolerant behavior to be undertaken. This framework is based on the notion of state machines and tolerance relations. Results concerning fault-tolerant behavior of finite-state machines are presented and an illustrative example is ...
متن کاملInduction and State Machines
This short paper describes a well-known and a non-standard technique for proving properties about sequential circuits. The techniques are based on transforming the circuit to an abstract state machine, and performing several ways of induction on these state machines. We conclude with an insightful correspondence between the two techniques. The proposed methods have been implemented in an experi...
متن کاملComputation and State Machines
Preface For quite a while, I've been disturbed by the emphasis on language in computer science. One result of that emphasis is programmers who are C++ experts but can't write programs that do what they're supposed to. The typical computer science response is that programmers need to use the right programming/specification/development language instead of/in addition to C++. The typical industria...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 1975
ISSN: 0022-4049
DOI: 10.1016/0022-4049(75)90028-6